Operational semantics - PDFSEARCH.IO - Document Search Engine

Operational semantics
Results: 199

#	Item
111	A formal operational semantics for C++ object construction and destruction Tahina Ramananandro http://gallium.inria.fr/~tramanan/cpp July 13, 2011 Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2011-07-28 07:47:39 C++ Object-oriented programming Method C programming language Virtual function C++ classes Constructor Struct Initialization Software engineering Computer programming Computing
112	OctoberReport No. STAN-CSProgramming and Proving with Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-03 21:37:12 Programming paradigms Logic in computer science Programming language semantics Abstraction Data management Functional programming Lisp Operational semantics Continuation Software engineering Computer programming Computing
113	Higher-Order Aspects in Order ´ Tanter ∗ Eric PLEIAD Laboratory Computer Science Department (DCC) University of Chile – Santiago, Chile Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:22:08 Aspect-oriented software development Computing AspectJ Pointcut Join point Spring Framework Advice Operational semantics Monad Software development Software Aspect-oriented programming
114	University of California Los Angeles Robust Service Composition A dissertation submitted in partial satisfaction Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2012-11-23 07:14:37 Programming language semantics Programming language theory Data types Type theory Operational semantics Citizens for Tax Justice Semantics Process calculus Subtype polymorphism Theoretical computer science Logic in computer science Software engineering
115	A Formal Embedding of AgentSpeak(L) in 3APL Koen Hindriks, Frank S. de Boer, Wiebe van der Hoek and John-Jules Ch. Meyer University Utrecht, Department of Computer Science P.O. Box, 3508 TB Utrecht, The Netherland Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 1998-12-14 07:37:21 Applied mathematics AgentSpeak Operational semantics Bisimulation Programming language Agent-based model State transition system 3APL Logic programming Multi-agent systems Computing Theoretical computer science
116	PDF Document Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2008-11-04 04:12:05 Models of computation Computer science Diagrams Programming language semantics Concurrency Petri net Operational semantics Semantics Petri Theoretical computer science Formal methods Logic in computer science
117	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-07-30 11:26:12 Software engineering Logic in computer science Programming language semantics Type systems Denotational semantics Programming language Type inference Operational semantics Semantics Programming language theory Theoretical computer science Type theory
118	Technical Report UCAM-CL-TR-568 ISSNNumber 568 Add to Reading List Source URL: www.lochan.org Language: English - Date: 2005-03-28 16:56:16 Logic in computer science Models of computation Programming language semantics Type theory Lambda calculus Name binding Type system Operational semantics Programming language Theoretical computer science Programming language theory Software engineering
119	An Operational and Axiomatic Semantics for Non-determinism and Sequence Points in C Robbert Krebbers ∗ ICIS, Radboud University Nijmegen, The Netherlands Add to Reading List Source URL: robbertkrebbers.nl Language: English - Date: 2013-11-12 14:05:28 Logic in computer science Forcing Deduction Combinatory logic Lambda calculus Denotational semantics Valuation Symbol Entailment Logic Abstract algebra Mathematical logic
120	TermWare: A Rewriting Framework for Rule-Based Programming Dynamic Applications A. Doroshenko1, R. Shevchenko2 1 Add to Reading List Source URL: www.gradsoft.com.ua Language: English - Date: 2005-10-06 06:06:53 Logic in computer science Formal languages Programming language semantics Combinatorics on words Rewriting Unification Drools Operational semantics Programming language Theoretical computer science Mathematics Applied mathematics

UPDATE